$\forall$$T$:Type, $R_{1}$, $R_{2}$, $R_{3}$:($T$$\rightarrow$$T$$\rightarrow\mathbb{P}$). $R_{1}$ =$>$ $R_{2}$ $\Rightarrow$ $R_{2}$ =$>$ $R_{3}$ $\Rightarrow$ $R_{1}$ =$>$ $R_{3}$